Infinite Saturated Orders
نویسنده
چکیده
We generalize the notion of saturated orders to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations in the context of reverse mathematics, showing that depending on one’s choice of definitions, this equivalence is either provable in RCA0 or equivalent to ACA0.
منابع مشابه
Two families of primitive minimally triangle-saturated graphs
The authors have previously shown [1] that to generate all trianglesaturated graphs (graphs of diameter at most 2), it suffices to begin with the primitive minimally triangle-saturated graphs. In the present paper two infinite families of primitive minimally triangle-saturated graphs are constructed: one family covers all odd orders n ≥ 3, the other all even orders n ≥ 4, and in each case all g...
متن کاملCanonizable Partial Order Generators and Regular Slice Languages
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we focused on the study of Hasse diagram generators, i.e., slice graphs that generate only transitive reduced DAGs. In the present work we show that any slice graph can be transitive reduced into a Hasse diagram generator r...
متن کاملRigidity and Irregularity Effect on Surface Wave Propagation in a Fluid Saturated Porous Layer
The propagation of surface waves in a fluid- saturated porous isotropic layer over a semi-infinite homogeneous elastic medium with an irregularity for free and rigid interfaces have been studied. The rectangular irregularity has been taken in the half-space. The dispersion equation for Love waves is derived by simple mathematical techniques followed by Fourier transformations. It can be seen t...
متن کاملThree-dimensional analytical models for time-dependent coefficients through uniform and varying plane input source in semi-infinite adsorbing porous media.
In the present study, analytical solutions are developed for three-dimensional advection-dispersion equation (ADE) in semi-infinite adsorbing saturated homogeneous porous medium with time dependent dispersion coefficient. It means porosity of the medium is filled with single fluid(water). Dispersion coefficient is considered proportional to seepage velocity while adsorption coefficient inversel...
متن کاملThree-dimensional analytical models for time-dependent coefficients through uniform and varying plane input source in semi-infinite adsorbing porous media.
In the present study, analytical solutions are developed for three-dimensional advection-dispersion equation (ADE) in semi-infinite adsorbing saturated homogeneous porous medium with time dependent dispersion coefficient. It means porosity of the medium is filled with single fluid(water). Dispersion coefficient is considered proportional to seepage velocity while adsorption coefficient inversel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Order
دوره 28 شماره
صفحات -
تاریخ انتشار 2011